#pragma once

#include <libs/klibc.h>

uint64_t boot_get_dtb();